2. Theories for admissible sets : a unifying approach to proof theory
پدیدآورنده: Gerhard Jager
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Admissible sets
رده :
QA
9
.
54
.
J34
1986





